Merge pull request #33 from rogerpueyo/master
authorMoritz Warning <[email protected]>
Tue, 7 Apr 2020 13:27:39 +0000 (15:27 +0200)
committerGitHub <[email protected]>
Tue, 7 Apr 2020 13:27:39 +0000 (15:27 +0200)
Catalan strings


Trivial merge